Entwurf Und Verifikation von Hardware/Software - Systemen

by J. Behrend, A. Braun, O. Bringmann, M. Krause, T. Kropf, S. Lämmermann, P. Nalla, W. Rosenstiel, J. Ruf, T. Schönwald, and A. Viehl u. J. Zimmermann
In Kooperationsmarkt Des Ekompass-Workshops, 2007.